Dynamic Restructuring of Recovery Nets
نویسندگان
چکیده
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are incorporated either with a single task or a set of tasks, called a recovery region. A recovery region delimits the part of the workflow from which the associated recovery policies take place. In this paper, we assume that SARN is initially partitioned into recovery regions by workflow designers who have a priori expectations for how exceptions will be handled. We propose a pattern-based approach to dynamically restructure SARN partition. The objective is to continuously restructure recovery regions within SARN partition to reflect the dynamic changes in handling exceptions. The restructuring of SARN partition is based on the observation of predefined recovery patterns.
منابع مشابه
Hybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملMop-ECATNets for Formal Modeling Dynamic Web Services
Mop-ECATNets are a sound combination of Meta Petri Nets and OpenECATNets (Open Extended Concurrent Algebraic Term Nets). They inherit fl exibility of control from Meta nets and data structure, concurrency and composability from Open-ECATNets. Our aim in this work is to show how Mop-ECATNet, a layered Petri nets based model, makes it possible the formal execution and analysis of dynamic web serv...
متن کاملFuzzy Petri nets for monitoring and recovery
In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuzzy logic modeling and analysis methods. In this context, we propose a new fuzzy Petri net called Fuzzy Reasoning Petri Net: the FRPN. The modeling consists in a set of two collaborative FRPN. The first is used for the f...
متن کاملAugmenting SQL with Dynamic Restructuring to Support Interoperability in a Relational Federation
In this work, we consider augmenting SQL with constructs allowing dynamic restructuring. Dynamic restructuring occurs naturally in a framework including second-order capabilities for integrating metadata and data within single queries. The context and motivating example for this extension is a federation of relational databases, containing semantically similar information in schematically dispa...
متن کامل